extensionDownloader: Only check updates for user extensions

System extensions cannot be updated through the website, so don't
even try.

https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/945

diff --git a/js/ui/extensionDownloader.js b/js/ui/extensionDownloader.js
index 2ae64ea44d995db2b9e3380012c380c153b0fc65..25145564d7ddfa6144118d5175bfa2b842f88541 100644 (file)
--- a/js/ui/extensionDownloader.js
+++ b/js/ui/extensionDownloader.js
@@ -120,7 +120,10 @@ function downloadExtensionUpdate(uuid) {
 function checkForUpdates() {
     let metadatas = {};
     Main.extensionManager.getUuids().forEach(uuid => {
-        metadatas[uuid] = Main.extensionManager.lookup(uuid).metadata;
+        let extension = Main.extensionManager.lookup(uuid);
+        if (extension.type !== ExtensionUtils.ExtensionType.PER_USER)
+            return;
+        metadatas[uuid] = extension.metadata;
     });
 
     let params = { shell_version: Config.PACKAGE_VERSION,